Sémantique du parallélisme et du choix du langage electre

The Electre language has been developed as a resuit of the expérience of the automatic control department in the implementation of the real time control applications. These applications consist of many tasks that are conditionally executed and interrupted according to some events 'occurences. We propose a language semantic and in particular that of its fundamental operators: parallelism of tasks, parallelism of interruptions, and choice of tasks up on interruption. The deterministic characteristics ofthis semantic is presenîed to show that any real time application described by the Electre language can have a deterministic state transition from any state to another one according to an event occurence. A transition System, based on the language syntax, is constructed to obtain the previous results.